Section: Partnerships and Cooperations

Regional Initiatives

• The Franche-Comté Region project SyVAD (SysML Verification and Validation), coordinated by Fabrice Bouquet, duration: 3 years, started in September 2011. This project focuses on the SysML models for the validation and verification of micro-systems, in particular for a distributed micro airduct. Several teams of the FEMTO-ST institute work together on micro-systems specification, simulation and validation.